first-order logic

Không tìm thấy từ "first-order logic"
Không tìm thấy từ nào gần giống "first-order logic"